xen/arm: do not call __cpu_disable on machine_halt
authorStefano Stabellini <stefano.stabellini@eu.citrix.com>
Mon, 29 Apr 2013 17:04:25 +0000 (18:04 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Tue, 30 Apr 2013 10:31:27 +0000 (11:31 +0100)
commitb4aae03ce525e8e2364814d0fed8f982aefc4958
tree1efac35871fa10a18159ef51b5332879254d04ce
parent49cdb736976df6db398d177368527581c106dc5f
xen/arm: do not call __cpu_disable on machine_halt

__cpu_disable shouldn't be called on machine_halt, in fact it cannot
succeed: cpu_disable_scheduler won't be able to migrate away vcpus to
others pcpus.

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/shutdown.c